home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / loop.c < prev    next >
C/C++ Source or Header  |  1996-08-26  |  240b  |  17 lines
  1. extern int glob1, glob2;
  2.  
  3. extern int f (void) 
  4.   /*@globals glob1@*/ 
  5.   /*@modifies nothing@*/ ;
  6.  
  7. extern void g (void) 
  8.   /*@modifies glob2@*/ ;
  9.  
  10. extern void h (void) ; 
  11.  
  12. void upto (int x) 
  13. {
  14.   while (x > f()) g();
  15.   while (f() < 3) h();
  16. }
  17.